merge(${\it as}$; ${\it bs}$) $\,\equiv$$_{\mbox{\scriptsize def}}$$\;\;$reduce(($\lambda$$b$,$l$. s{-}insert($b$; $l$)); ${\it as}$; ${\it bs}$)